program verifier造句

例句与造句

1. VC generators are often coupled with SMT solvers in the backend of a program verifier.
2. A "'verification condition generator "'is a common sub-component of an automated program verifier that synthesizes formal verification conditions by analyzing a program's source code using a method based upon Hoare logic.
3. It's difficult to find program verifier in a sentence. 用program verifier造句挺难的